Autor: Hailpern, Brent T. Se han encontrado 1 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Libro |
Verifying concurrent processes using temporal logic: | Hailpern, Brent T. |
1a ed.
(1982) |
Domicilio
|
---------- |